completeness of propositional calculus命题演算的完备性
medium propositional calculus中介命题演算
Medium Logic Propositional Calculus中介逻辑命题演算
assignment in propositional calculus命题演算指派
modal propositional calculus s模态命题演算S
fuzzy propositional calculus模糊命题演算
propositional calculus form system命题演算形式系统
N(名词) the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure 命题演算 → compare predicate calculus